Timing analysis for a composable mode switch
نویسندگان
چکیده
منابع مشابه
On Composable System Timing, Task Timing, and WCET Analysis
The complexity of hardware and software architectures used in today’s embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the source of this complexity in terms of mechanisms and side effects that determine variations in the timing of single tasks and entire applications. Based on these observations, the paper proposes strategies to reduce the compl...
متن کاملTowards Composable Timing for Real-Time Software
Real-time software is increasing in size and complexity, precipitating the need for advanced modeling and analysis capabilities early in the software development process. One particular concern is the lack of sufficient methods and tools to effectively reason about the timing of software in such a way that software systems can be constructed hierarchically from components while still guaranteei...
متن کاملConcurrent Multi-mode Timing Model Generation for Hierarchical Timing Analysis
In this paper, we investigate the challenges in timing model generation for designs operating at various functional modes and timing corners for reducing the overall complexity of timing verification besides preserving the key intent of IP protection. We also propose a method for concurrently generating a model that can address the requirements of timing verification of a set of functional cons...
متن کاملA Composable Mixed Mode Concurrency Control Semantics for Transactional Programs
Most software transactional memories employ optimistic concurrency control. A pessimistic semantics, however, is not without its benefits: its programming model is often much simpler to reason about and supports the execution of irreversible operations. We present a programming model that supports both optimistic and pessimistic concurrency control semantics. Our pessimistic transactions, guara...
متن کاملOn Composable System Timing, Task Timing, and Wcet Analysis1
The complexity of hardware and software architectures used in today’s embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the source of this complexity in terms of mechanisms and side effects that determine variations in the timing of single tasks and entire applications. Based on these observations, the paper proposes strategies to reduce the compl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGBED Review
سال: 2011
ISSN: 1551-3688,1551-3688
DOI: 10.1145/2038617.2038620